»Umetne inteligence ne dojemam kot nadomestilo za ljudi, vidim jo kot novo orodje, nov čopič.«
»Konkretno me zelo zanima umetna inteligenca na področju dokazovanja izrekov, kjer se ukvarjam z 'dokazovalnimi pomočniki' in vprašanjem, kako bi nam računalniki pomagali pri odkrivanju novega matematičnega znanja.«
»Zmanjšanje tveganja izumrtja zaradi umetne inteligence bi moralo biti prednostna naloga poleg drugih družbenih tveganj, kot so pandemije in jedrska vojna.«
Kliknite povezavo za prikaz izjav v želenem obdobju